Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Tue, 21 Jun 2022 16:57:57 +0000 (17:57 +0100)
committerIlias Tsitsimpis <iliastsi@debian.org>
Tue, 21 Jun 2022 16:57:57 +0000 (17:57 +0100)
commite30d04167d69abd8c451e0a0758541af03601504
tree248d3aae3e83788ea4ae36d38e2453926248362b
parent72ea1cb479721c86a8ab47ea816cdfa9f3f8d223
Use VFPv3-D16 FPU for ARM builds

Upstream-Bug: https://ghc.haskell.org/trac/ghc/ticket/5914
Launchpad-Bug: https://ghc.haskell.org/trac/ghc/ticket/5914

Jani writes: The D16 part was Debian/Ubuntu specific, IIRC we define hardfloat
in that particular variant (16 double registers) or we had a different naming
for some reason.

Gbp-Pq: Name ARM-VFPv3D16
m4/fptools.m4